home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / ceva1.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  971 b   |  32 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.45554, 0.73461, "1");
  3. v2 = .free(0.337893, 0.819425, "2");
  4. v3 = .free(0.0342, 0.526676, "3");
  5. v4 = .free(-0.067031, -0.928865, "4");
  6. l1 = .l.vv(v1, v4);
  7. l2 = .l.vv(v2, v4);
  8. l3 = .l.vv(v3, v4);
  9. l4 = .l.vv(v1, v2);
  10. l5 = .l.vv(v2, v3);
  11. l6 = .l.vv(v3, v1);
  12. v5 = .free(0.023256, 0.630643, "5");
  13. l7 = .l.vv(v3, v5, .invisible);
  14. l8 = .l.vv(v5, v2, .invisible);
  15. l9 = .l.vv(v5, v1, .invisible);
  16. v6 = .v.ll(l9, l5);
  17. v7 = .v.ll(l8, l6);
  18. v8 = .v.ll(l7, l4);
  19. l10 = .l.vv(v8, v4, .magenta);
  20. l11 = .l.vv(v7, v4, .magenta);
  21. l12 = .l.vv(v6, v4, .magenta);
  22. v9 = .vonl(l3, 0.028708, 0.447714, .yellow, .plus);
  23. v10 = .vonl(l2, 0.167012, 0.081635, .yellow, .plus);
  24. l13 = .l.vv(v10, v9, .yellow);
  25. v11 = .v.ll(l13, l12, .yellow);
  26. l14 = .l.vlperp(v11, l13, .red, .longline);
  27. v12 = .v.ll(l14, l1, .yellow);
  28. l15 = .l.vv(v12, v10, .yellow);
  29. l16 = .l.vv(v12, v9, .yellow);
  30. l17 = .l.vlperp(v10, l16, .red, .longline);
  31. l18 = .l.vlperp(v9, l15, .red, .longline);
  32.